Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
571	P e t e r F l a c h Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2008-01-31 15:30:16 Science Peter Flach Inductive logic programming International Conference on Machine Learning Inductive inference Logic programming Computational learning theory ECML PKDD Rule induction Artificial intelligence Machine learning Statistics
572	The Egenhofer–Cohn Hypothesis or, Topological Relativity? Alexander Klippel, Rui Li, Jinlong Yang, Frank Hardisty and Sen Xu Add to Reading List Source URL: www.geovista.psu.edu Language: English - Date: 2013-02-08 13:12:51 Cognitive science Mathematical logic Computational topology Constraint programming Region connection calculus Spatial–temporal reasoning Manifold Mereology Topological space Mathematics Topology Knowledge representation
573	Generalized Implicit De nitions on Finite Structures Stephane Grumbach?1 and Zoe Lacroix??2 and Steven Lindell???3 Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Finite model theory Model theory Computational complexity theory Mathematical logic Philosophical logic Structure FO HO Second-order logic Theoretical computer science Mathematics Logic
574	Finite model theory studies the expressive power of logical languages over collections of finite structures. Over the past few decades, deep connections have emerged between finite model theory and various areas in combi Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:01 Model theory Finite model theory Computational complexity theory Metalogic Logical syntax Second-order logic FO Descriptive complexity theory First-order logic Logic Mathematical logic Mathematics
575	An Introduction to Proof Complexity, Part I. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:13 Computational complexity theory Propositional calculus Logic in computer science Boolean algebra Circuit complexity Tautology Switching lemma Logical connective Proof complexity Theoretical computer science Mathematics Logic
576	An Introduction to Proof Complexity, Part II. Pavel Pudl´ak Add to Reading List Source URL: www.math.uni-heidelberg.de Language: English - Date: 2009-07-30 07:35:14 Logic in computer science Propositional calculus Mathematical logic Automated theorem proving Computational complexity theory Frege system Proof complexity Propositional proof system Tautology Theoretical computer science Mathematics Logic
577	Curriculum vitae of Jan van Eijck Name Jan van Eijck, initials D.J.N. (Dingeman Johannes Norbertus), born 6 September 1951 in The Netherlands. Nationality: Dutch Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-12-12 15:15:35 Semantics Game theory Computational semantics Natural language processing Johan van Benthem Institute for Logic Language and Computation Social software Maarten de Rijke University of Groningen Science Academia Logic
578	Wireless Networks 7, 601–607, 2001  2001 Kluwer Academic Publishers. Manufactured in The Netherlands. Multi-Fidelity Algorithms for Interactive Mobile Applications ∗ M. SATYANARAYANAN and DUSHYANTH NARAYANAN Schoo Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-08-17 12:50:55 Computer science Theoretical computer science Analysis of algorithms Algorithm Mathematical logic Distributed computing Parallel computing Medical algorithm Computational complexity theory Applied mathematics Mathematics Algorithms
579	Call for Papers CiE 2009 Computability in Europe 2009: Mathematical Theory and Computational Practice Add to Reading List Source URL: math.uni-heidelberg.de Language: English - Date: 2008-08-19 06:28:19 Computability in Europe Logic Hypercomputation Computability Mathematical logic Computation Algorithm Theoretical computer science Computer science Mathematics
580	Computational Category Theory D.E. Rydeheard University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-05-20 11:35:35 Functors Limit Topos Equivalence of categories Category of topological spaces Categorical logic Cartesian closed category Initial and terminal objects Universal property Category theory Mathematics Adjoint functors

UPDATE